$\forall$$b$:Decision. $b$ $=$ true$_{2}$ $\Leftrightarrow$ $b$